package tarantula.experiment.commons;

import junit.framework.TestCase;

public class CollectionsFailedTestsDDSliceBug3 extends TestCase {

	  public void test6() throws Throwable {

	    org.apache.commons.collections.set.ListOrderedSet var0 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var1 = var0.asList();
	    java.util.List var2 = var0.asList();
	    var0.clear();
	    java.lang.Integer var4 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var5 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.lang.Integer var6 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var7 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var8 = var7.asList();
	    org.apache.commons.collections.set.ListOrderedSet var9 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var7);
	    boolean var10 = var5.addAll((int)var6, (java.util.Collection)var7);
	    boolean var11 = var0.addAll((int)var4, (java.util.Collection)var7);
	    org.apache.commons.collections.set.ListOrderedSet var12 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var13 = var12.asList();
	    java.util.List var14 = var12.asList();
	    org.apache.commons.collections.set.ListOrderedSet var15 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var16 = var15.asList();
	    org.apache.commons.collections.set.ListOrderedSet var17 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var15);
	    org.apache.commons.collections.set.ListOrderedSet var18 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var19 = var18.asList();
	    org.apache.commons.collections.set.ListOrderedSet var20 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var15, var19);
	    boolean var21 = var12.containsAll((java.util.Collection)var19);
	    org.apache.commons.collections.set.ListOrderedSet var22 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var0, var19);
	    org.apache.commons.collections.set.ListOrderedSet var23 = new org.apache.commons.collections.set.ListOrderedSet();
	    int var24 = var23.size();
	    boolean var25 = var0.add((java.lang.Object)var24);
	    java.lang.Short var26 = new java.lang.Short((short)1);
	    boolean var27 = var0.add((java.lang.Object)var26);
	    org.apache.commons.collections.set.ListOrderedSet var28 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var29 = var28.asList();
	    java.util.List var30 = var28.asList();
	    var28.clear();
	    java.lang.Integer var32 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var33 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.lang.Integer var34 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var35 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var36 = var35.asList();
	    org.apache.commons.collections.set.ListOrderedSet var37 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var35);
	    boolean var38 = var33.addAll((int)var34, (java.util.Collection)var35);
	    boolean var39 = var28.addAll((int)var32, (java.util.Collection)var35);
	    org.apache.commons.collections.set.ListOrderedSet var40 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var41 = var40.asList();
	    java.util.List var42 = var40.asList();
	    org.apache.commons.collections.set.ListOrderedSet var43 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var44 = var43.asList();
	    org.apache.commons.collections.set.ListOrderedSet var45 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var43);
	    org.apache.commons.collections.set.ListOrderedSet var46 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var47 = var46.asList();
	    org.apache.commons.collections.set.ListOrderedSet var48 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var43, var47);
	    boolean var49 = var40.containsAll((java.util.Collection)var47);
	    org.apache.commons.collections.set.ListOrderedSet var50 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var28, var47);
	    org.apache.commons.collections.set.ListOrderedSet var51 = new org.apache.commons.collections.set.ListOrderedSet();
	    int var52 = var51.size();
	    boolean var53 = var28.add((java.lang.Object)var52);
	    boolean var54 = var0.removeAll((java.util.Collection)var28);
	    
	    // Checks the contract:  equals-hashcode on var0 and var50
	    assertTrue("Contract failed: equals-hashcode on var0 and var50", var0.equals(var50) ? var0.hashCode() == var50.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var22 and var50
	    assertTrue("Contract failed: equals-hashcode on var22 and var50", var22.equals(var50) ? var22.hashCode() == var50.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var28 and var22
	    assertTrue("Contract failed: equals-hashcode on var28 and var22", var28.equals(var22) ? var28.hashCode() == var22.hashCode() : true);
	    
	    // Checks the contract:  equals-hashcode on var50 and var22
	    assertTrue("Contract failed: equals-hashcode on var50 and var22", var50.equals(var22) ? var50.hashCode() == var22.hashCode() : true);
	    
	    // Checks the contract:  equals-symmetric on var0 and var50.
	    assertTrue("Contract failed: equals-symmetric on var0 and var50.", var0.equals(var50) == var50.equals(var0));
	    
	    // Checks the contract:  equals-symmetric on var28 and var22.
	    assertTrue("Contract failed: equals-symmetric on var28 and var22.", var28.equals(var22) == var22.equals(var28));

	  }

	  public void test7() throws Throwable {

	    org.apache.commons.collections.set.ListOrderedSet var0 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.lang.Integer var1 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var2 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.lang.Integer var3 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var4 = new org.apache.commons.collections.set.ListOrderedSet();
	    org.apache.commons.collections.set.ListOrderedSet var5 = new org.apache.commons.collections.set.ListOrderedSet();
	    org.apache.commons.collections.set.ListOrderedSet var6 = new org.apache.commons.collections.set.ListOrderedSet();
	    org.apache.commons.collections.set.ListOrderedSet var7 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var8 = var7.asList();
	    org.apache.commons.collections.set.ListOrderedSet var9 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var0, var8);
	    org.apache.commons.collections.set.ListOrderedSet var10 = new org.apache.commons.collections.set.ListOrderedSet();
	    int var11 = var10.size();
	    boolean var12 = var0.add((java.lang.Object)var11);
	    org.apache.commons.collections.set.ListOrderedSet var13 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.lang.Integer var14 = new java.lang.Integer(100);
	    org.apache.commons.collections.set.ListOrderedSet var15 = new org.apache.commons.collections.set.ListOrderedSet();
	    org.apache.commons.collections.set.ListOrderedSet var16 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var15);
	    java.lang.Boolean var17 = new java.lang.Boolean(false);
	    org.apache.commons.collections.set.ListOrderedSet var18 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.lang.Integer var19 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var20 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.lang.Integer var21 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var22 = new org.apache.commons.collections.set.ListOrderedSet();
	    org.apache.commons.collections.set.ListOrderedSet var23 = new org.apache.commons.collections.set.ListOrderedSet();
	    org.apache.commons.collections.set.ListOrderedSet var24 = new org.apache.commons.collections.set.ListOrderedSet();
	    org.apache.commons.collections.set.ListOrderedSet var25 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var26 = var25.asList();
	    org.apache.commons.collections.set.ListOrderedSet var27 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var18, var26);
	    java.lang.Integer var28 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var29 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.lang.Integer var30 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var31 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.lang.Integer var32 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var33 = new org.apache.commons.collections.set.ListOrderedSet();
	    org.apache.commons.collections.set.ListOrderedSet var34 = new org.apache.commons.collections.set.ListOrderedSet();
	    org.apache.commons.collections.set.ListOrderedSet var35 = new org.apache.commons.collections.set.ListOrderedSet();
	    org.apache.commons.collections.set.ListOrderedSet var36 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var37 = var36.asList();
	    org.apache.commons.collections.set.ListOrderedSet var38 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var29, var37);
	    org.apache.commons.collections.set.ListOrderedSet var39 = new org.apache.commons.collections.set.ListOrderedSet();
	    boolean var40 = var16.add((java.lang.Object)var27);
	    
	    // Checks the contract:  equals-symmetric on var15 and var9.
	    assertTrue("Contract failed: equals-symmetric on var15 and var9.", var15.equals(var9) == var9.equals(var15));
	    
	    // Checks the contract:  equals-symmetric on var16 and var9.
	    assertTrue("Contract failed: equals-symmetric on var16 and var9.", var16.equals(var9) == var9.equals(var16));

	  }

	  public void test8() throws Throwable {

	    org.apache.commons.collections.set.ListOrderedSet var0 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var1 = var0.asList();
	    java.util.List var2 = var0.asList();
	    var0.clear();
	    java.lang.Integer var4 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var5 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.lang.Integer var6 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var7 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var8 = var7.asList();
	    org.apache.commons.collections.set.ListOrderedSet var9 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var7);
	    boolean var10 = var5.addAll((int)var6, (java.util.Collection)var7);
	    boolean var11 = var0.addAll((int)var4, (java.util.Collection)var7);
	    boolean var12 = var7.isEmpty();
	    java.lang.String var13 = var7.toString();
	    org.apache.commons.collections.set.ListOrderedSet var14 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var15 = var14.asList();
	    org.apache.commons.collections.set.ListOrderedSet var16 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var14);
	    org.apache.commons.collections.set.ListOrderedSet var17 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var18 = var17.asList();
	    org.apache.commons.collections.set.ListOrderedSet var19 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var14, var18);
	    org.apache.commons.collections.set.ListOrderedSet var20 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var21 = var20.asList();
	    java.util.List var22 = var20.asList();
	    org.apache.commons.collections.set.ListOrderedSet var23 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var14, var22);
	    boolean var24 = var7.addAll((java.util.Collection)var14);
	    java.lang.Object[] var25 = var7.toArray();
	    org.apache.commons.collections.set.ListOrderedSet var26 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var27 = var26.asList();
	    java.util.List var28 = var26.asList();
	    var26.clear();
	    java.lang.Integer var30 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var31 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.lang.Integer var32 = new java.lang.Integer((-1));
	    org.apache.commons.collections.set.ListOrderedSet var33 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var34 = var33.asList();
	    org.apache.commons.collections.set.ListOrderedSet var35 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var33);
	    boolean var36 = var31.addAll((int)var32, (java.util.Collection)var33);
	    boolean var37 = var26.addAll((int)var30, (java.util.Collection)var33);
	    org.apache.commons.collections.set.ListOrderedSet var38 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var39 = var38.asList();
	    java.util.List var40 = var38.asList();
	    org.apache.commons.collections.set.ListOrderedSet var41 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var42 = var41.asList();
	    org.apache.commons.collections.set.ListOrderedSet var43 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var41);
	    org.apache.commons.collections.set.ListOrderedSet var44 = new org.apache.commons.collections.set.ListOrderedSet();
	    java.util.List var45 = var44.asList();
	    org.apache.commons.collections.set.ListOrderedSet var46 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var41, var45);
	    boolean var47 = var38.containsAll((java.util.Collection)var45);
	    org.apache.commons.collections.set.ListOrderedSet var48 = org.apache.commons.collections.set.ListOrderedSet.decorate((java.util.Set)var26, var45);
	    org.apache.commons.collections.set.ListOrderedSet var49 = new org.apache.commons.collections.set.ListOrderedSet();
	    int var50 = var49.size();
	    boolean var51 = var26.add((java.lang.Object)var50);
	    java.lang.Long var52 = new java.lang.Long(0L);
	    var7.add((int)var50, (java.lang.Object)var52);
	    
	    // Checks the contract:  equals-symmetric on var7 and var48.
	    assertTrue("Contract failed: equals-symmetric on var7 and var48.", var7.equals(var48) == var48.equals(var7));
	    
	    // Checks the contract:  equals-symmetric on var26 and var9.
	    assertTrue("Contract failed: equals-symmetric on var26 and var9.", var26.equals(var9) == var9.equals(var26));

	  }
}
